%--
\chapter{形式化规约与验证}

%--
\begin{theorem}[\cite{Burckhardt14-book}]
    
    vis-ar框架。
    
    Replicated Data Type的declarative的规约框架。
    
\end{theorem}

%--
\begin{theorem}[\cite{Cerone18}]
    
    vis-ar框架向分布事务isolation level的拓展。
    
\end{theorem}


%--
\begin{theorem}[\cite{Crooks17}]
    
    事务isolation level的规约框架。
    
    基于状态的。数据库领域的做法。与vis-ar框架形成对照。
    
\end{theorem}




%--
\begin{theorem}[\cite{Maric17}]
    
    共识算法的共性提炼与验证。
    
\end{theorem}
